$\forall$$r$:CRng, $p$:Ideal($r$)\{i\}. ($\forall$$u$:$\mid$$r$$\mid$. Dec($p$($u$))) $\Rightarrow$ SqStable(IsPrimeIdeal($r$;$p$))